Writing Stateful Frameworks